Mrs. Ada E. North

FG Ada: Bericht der Fachgruppe Ada 2012

Intention der Fachgruppe: Software garantiert häufig direkt die Sicherheit für Menschen. Ada wird in internationalen Sicherheitsstandards empfohlen und unterstützt in einzigartiger Weise moderne Analyse, Design und Programmiermethoden und damit die Entwicklung großer zuverlässiger Software-Systeme. Die Fachgruppe will über die Konzepte von Ada und deren Bedeutung für die Softwaretechnologie inf...

Debugging Ada

The complexity of the Ada language poses several problems for the builder of a debugger. We identify the Ada language constructs that cause these problems and propose solutions that can be incorporated in a debugger based on Pascal. Several of the solutions involve changes in the symbol table of the Ada compiler, others are based on the argument that having to obey the language rules is an obst...

Ada Magica

Prokrustes hat allerdings, schlau wie er ist (er stammt ja schließlich aus einer uralten Räuberfamilie), inzwischen den Wechselapparat gegen den eines anderen Herstellers ausgetauscht. Als Alexeus nachzählt, traut er seinen Augen nicht: Prokrustes hat unseren armen Handlungsreisenden um die Hälfte seiner Bits betrogen (gemäß der Devise: Wer wird denn eine Bank überfallen, wenn das Gründen und B...

Distributed and parallel Ada and the Ada 9X recommendations

Ada for Software Engineers - Second Edition with Ada 2005

Save a place on your bookshelf next to John Barnes' book for this new edition of Ben-Ari's introduction to Ada 2005 for experienced programmers. Like the Barnes book, this one covers nearly all aspects of the Ada 2005 language. But this book also includes coverage of the container library, and the Annexes for Systems Programming, Real-Time Systems (including the Ravenscar Profile), Distributed ...